with Ada.Text_IO;

package export is
  subtype file_type is Ada.Text_IO.File_Type;

  procedure Create   (f : out file_type; path : in string);
  procedure Add_Line (f : in file_type;
                      time : in string; kind : in string; content : in string);
  procedure Close    (f : in out file_type);
end export;
